Does logic slowly pass away , or has it a future ?
نویسنده
چکیده
The limitations of mathematical logic either as a tool for the foundations of mathematics, or as a branch of mathematics, or as a tool for artificial intelligence, raise the need for a rethinking of logic. In particular, they raise the need for a reconsideration of the many doors the Founding Fathers of mathematical logic have closed historically. This paper examines three such doors, the view that logic should be a logic of discovery, the view that logic arises from method, and the view that logic is not the whole of reason, and on this basis proposes an alternative approach to logic.
منابع مشابه
A Survey for Pass-Transistor Logic Technologies - Recent Researches and Developments and Future Prospects (Embedded Tutorial)
The objective of this embedded tutorial is to give an overview for the state of the art of the pass-transistor logic technologies and their future prospects. The talk gives a survey summary for recent researches and developments on the pass-transistor logic technologies based on more than 100 surveyed papers that have been published after 1983. The number of publications has been rapidly increa...
متن کاملA Possible Future History of Logic Programming
While it is well-known that it is hard to know anything about the future, it is less widely realized that it is also difficult to understand the present. It is therefore paradoxical that it sometimes helps to understand the present by means of a fictitious future history. In this article I am going to exploit this paradox. I place the viewpoint well away into the future. Again this may seem par...
متن کاملA Case Study of Nanoscale FPGA Programmable Switches with Low Power
The trend in VLSI and system design is moving away from high speed to low power due to the rapid growth in the portable consumer electronics market. The technology evolution of deep submicron (DSM) will be able to manage the needs and demands of future computing world. A rapid growth of future computing have led to challenges of very deep submicron (DSM) regime. Here, the leakage power plays a ...
متن کاملFuture study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کامل